Skip to main content

Full text of "Treatise On Analysis Vol-Ii"

See other formats


From the results of (14.9) we have, in particular:

(14.10.5) Suppose that f and g are locally p-integrable. If one of the functions
/, g is continuous, and if one has compact support, then f and g are convolvable,
the right-hand sides of (14.10.2) and (14.10.3) are defined for all x e G, and the
function f*g is continuous. If both f and g belong to Jfc(G), then so does

This follows from (14.9.1) and (14.9.3).

(1 4.1 0.6)   Let f be a f$-integrable function .

(i)   For p = 1, 2 or +00, the function f is convolvable with every function
g e &G9 P); the function f * g belongs to J2?(G, 0); and


(ii)   Ifp = + oo, andg e S?g(G, j8), the integral

(xs-^ACs-1) dfts)

is defined for all xeG, and the function x\-+\f(xs~~1)g(s)A(s~'1)d{S(s) is
uniformly continuous with respect to every right-invariant distance on G.
(iii)   Ifp = 1, we have


(iv)   Ifg e *g(G), rten ^fao / * g e g(G).

Parts (i) and (iv) follow from (14.9.2) and the relation \\f-0\\ = N^/)
(13.20.3). To prove (, we remark that by virtue of ( and
the fact that the function (s9 x)\-+g(x)f(s) is (0  jS)-integrable (13.21.14),
the function (s,x)\r+g(s~lx)f(s) is also (p  jS)-integrable. The formula
( then comes immediately from the Lebesgue-Fubini theorem and
the left-invariance of p.

As to (ii), for each x e G the function sh-^Cs-"1*) belongs to 3?c(G), and
therefore the integral on the right-hand side of (14.10.2) is defined for all
x e G. If we put v = A"1  /?, then v is a right Haar measure (14.3.4), and we
may write (14.10.3) in the form

,,  f., _t

*)-j/(**e of bounded measures on G. Suppose that, for each function